Optimal. Leaf size=207 \[ \frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}-\frac {2 e \tan ^{-1}\left (\frac {\sqrt [3]{a}-2 \sqrt [3]{b} (c+d x)}{\sqrt {3} \sqrt [3]{a}}\right )}{9 \sqrt {3} a^{7/3} b^{2/3} d}-\frac {2 e \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{27 a^{7/3} b^{2/3} d}+\frac {e \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{27 a^{7/3} b^{2/3} d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 207, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 8, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.364, Rules used = {379, 296, 298,
31, 648, 631, 210, 642} \begin {gather*} -\frac {2 e \text {ArcTan}\left (\frac {\sqrt [3]{a}-2 \sqrt [3]{b} (c+d x)}{\sqrt {3} \sqrt [3]{a}}\right )}{9 \sqrt {3} a^{7/3} b^{2/3} d}-\frac {2 e \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{27 a^{7/3} b^{2/3} d}+\frac {e \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{27 a^{7/3} b^{2/3} d}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}+\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 210
Rule 296
Rule 298
Rule 379
Rule 631
Rule 642
Rule 648
Rubi steps
\begin {align*} \int \frac {c e+d e x}{\left (a+b (c+d x)^3\right )^3} \, dx &=\frac {e \text {Subst}\left (\int \frac {x}{\left (a+b x^3\right )^3} \, dx,x,c+d x\right )}{d}\\ &=\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {(2 e) \text {Subst}\left (\int \frac {x}{\left (a+b x^3\right )^2} \, dx,x,c+d x\right )}{3 a d}\\ &=\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}+\frac {(2 e) \text {Subst}\left (\int \frac {x}{a+b x^3} \, dx,x,c+d x\right )}{9 a^2 d}\\ &=\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}-\frac {(2 e) \text {Subst}\left (\int \frac {1}{\sqrt [3]{a}+\sqrt [3]{b} x} \, dx,x,c+d x\right )}{27 a^{7/3} \sqrt [3]{b} d}+\frac {(2 e) \text {Subst}\left (\int \frac {\sqrt [3]{a}+\sqrt [3]{b} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{27 a^{7/3} \sqrt [3]{b} d}\\ &=\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}-\frac {2 e \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{27 a^{7/3} b^{2/3} d}+\frac {e \text {Subst}\left (\int \frac {-\sqrt [3]{a} \sqrt [3]{b}+2 b^{2/3} x}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{27 a^{7/3} b^{2/3} d}+\frac {e \text {Subst}\left (\int \frac {1}{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2} \, dx,x,c+d x\right )}{9 a^2 \sqrt [3]{b} d}\\ &=\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}-\frac {2 e \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{27 a^{7/3} b^{2/3} d}+\frac {e \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{27 a^{7/3} b^{2/3} d}+\frac {(2 e) \text {Subst}\left (\int \frac {1}{-3-x^2} \, dx,x,1-\frac {2 \sqrt [3]{b} (c+d x)}{\sqrt [3]{a}}\right )}{9 a^{7/3} b^{2/3} d}\\ &=\frac {e (c+d x)^2}{6 a d \left (a+b (c+d x)^3\right )^2}+\frac {2 e (c+d x)^2}{9 a^2 d \left (a+b (c+d x)^3\right )}-\frac {2 e \tan ^{-1}\left (\frac {1-\frac {2 \sqrt [3]{b} (c+d x)}{\sqrt [3]{a}}}{\sqrt {3}}\right )}{9 \sqrt {3} a^{7/3} b^{2/3} d}-\frac {2 e \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{27 a^{7/3} b^{2/3} d}+\frac {e \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{27 a^{7/3} b^{2/3} d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 181, normalized size = 0.87 \begin {gather*} \frac {e \left (\frac {9 a^{4/3} (c+d x)^2}{\left (a+b (c+d x)^3\right )^2}+\frac {12 \sqrt [3]{a} (c+d x)^2}{a+b (c+d x)^3}+\frac {4 \sqrt {3} \tan ^{-1}\left (\frac {-\sqrt [3]{a}+2 \sqrt [3]{b} (c+d x)}{\sqrt {3} \sqrt [3]{a}}\right )}{b^{2/3}}-\frac {4 \log \left (\sqrt [3]{a}+\sqrt [3]{b} (c+d x)\right )}{b^{2/3}}+\frac {2 \log \left (a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} (c+d x)+b^{2/3} (c+d x)^2\right )}{b^{2/3}}\right )}{54 a^{7/3} d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.08, size = 216, normalized size = 1.04
method | result | size |
default | \(e \left (\frac {\frac {2 b \,d^{4} x^{5}}{9 a^{2}}+\frac {10 b c \,d^{3} x^{4}}{9 a^{2}}+\frac {20 b \,c^{2} d^{2} x^{3}}{9 a^{2}}+\frac {d \left (40 b \,c^{3}+7 a \right ) x^{2}}{18 a^{2}}+\frac {c \left (10 b \,c^{3}+7 a \right ) x}{9 a^{2}}+\frac {c^{2} \left (4 b \,c^{3}+7 a \right )}{18 d \,a^{2}}}{\left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2}}+\frac {2 \left (\munderset {\textit {\_R} =\RootOf \left (b \,d^{3} \textit {\_Z}^{3}+3 b c \,d^{2} \textit {\_Z}^{2}+3 b \,c^{2} d \textit {\_Z} +b \,c^{3}+a \right )}{\sum }\frac {\left (\textit {\_R} d +c \right ) \ln \left (x -\textit {\_R} \right )}{d^{2} \textit {\_R}^{2}+2 c d \textit {\_R} +c^{2}}\right )}{27 a^{2} b d}\right )\) | \(216\) |
risch | \(\frac {\frac {2 b \,d^{4} e \,x^{5}}{9 a^{2}}+\frac {10 b c \,d^{3} e \,x^{4}}{9 a^{2}}+\frac {20 b \,c^{2} d^{2} e \,x^{3}}{9 a^{2}}+\frac {d e \left (40 b \,c^{3}+7 a \right ) x^{2}}{18 a^{2}}+\frac {c e \left (10 b \,c^{3}+7 a \right ) x}{9 a^{2}}+\frac {c^{2} e \left (4 b \,c^{3}+7 a \right )}{18 d \,a^{2}}}{\left (b \,d^{3} x^{3}+3 b c \,d^{2} x^{2}+3 b \,c^{2} d x +b \,c^{3}+a \right )^{2}}+\frac {2 e \left (\munderset {\textit {\_R} =\RootOf \left (b \,d^{3} \textit {\_Z}^{3}+3 b c \,d^{2} \textit {\_Z}^{2}+3 b \,c^{2} d \textit {\_Z} +b \,c^{3}+a \right )}{\sum }\frac {\left (\textit {\_R} d +c \right ) \ln \left (x -\textit {\_R} \right )}{d^{2} \textit {\_R}^{2}+2 c d \textit {\_R} +c^{2}}\right )}{27 a^{2} b d}\) | \(221\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 829 vs.
\(2 (166) = 332\).
time = 0.41, size = 1780, normalized size = 8.60 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 1.62, size = 323, normalized size = 1.56 \begin {gather*} \frac {7 a c^{2} e + 4 b c^{5} e + 40 b c^{2} d^{3} e x^{3} + 20 b c d^{4} e x^{4} + 4 b d^{5} e x^{5} + x^{2} \cdot \left (7 a d^{2} e + 40 b c^{3} d^{2} e\right ) + x \left (14 a c d e + 20 b c^{4} d e\right )}{18 a^{4} d + 36 a^{3} b c^{3} d + 18 a^{2} b^{2} c^{6} d + 270 a^{2} b^{2} c^{2} d^{5} x^{4} + 108 a^{2} b^{2} c d^{6} x^{5} + 18 a^{2} b^{2} d^{7} x^{6} + x^{3} \cdot \left (36 a^{3} b d^{4} + 360 a^{2} b^{2} c^{3} d^{4}\right ) + x^{2} \cdot \left (108 a^{3} b c d^{3} + 270 a^{2} b^{2} c^{4} d^{3}\right ) + x \left (108 a^{3} b c^{2} d^{2} + 108 a^{2} b^{2} c^{5} d^{2}\right )} + \frac {e \operatorname {RootSum} {\left (19683 t^{3} a^{7} b^{2} + 8, \left ( t \mapsto t \log {\left (x + \frac {729 t^{2} a^{5} b e^{2} + 4 c e^{2}}{4 d e^{2}} \right )} \right )\right )}}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.91, size = 292, normalized size = 1.41 \begin {gather*} -\frac {2 \, \sqrt {3} \left (-\frac {e^{3}}{a b^{2} d^{3}}\right )^{\frac {1}{3}} \arctan \left (\frac {\sqrt {3} {\left (2 \, a b d x + 2 \, a b c - \left (-a^{2} b\right )^{\frac {2}{3}}\right )}}{3 \, \left (-a^{2} b\right )^{\frac {2}{3}}}\right ) + \left (-\frac {e^{3}}{a b^{2} d^{3}}\right )^{\frac {1}{3}} \log \left ({\left (2 \, a b d x + 2 \, a b c - \left (-a^{2} b\right )^{\frac {2}{3}}\right )}^{2} + 3 \, \left (-a^{2} b\right )^{\frac {4}{3}}\right ) - 2 \, \left (-\frac {e^{3}}{a b^{2} d^{3}}\right )^{\frac {1}{3}} \log \left ({\left | a b d x + a b c + \left (-a^{2} b\right )^{\frac {2}{3}} \right |}\right )}{27 \, a^{2}} + \frac {4 \, b d^{5} x^{5} e + 20 \, b c d^{4} x^{4} e + 40 \, b c^{2} d^{3} x^{3} e + 40 \, b c^{3} d^{2} x^{2} e + 20 \, b c^{4} d x e + 4 \, b c^{5} e + 7 \, a d^{2} x^{2} e + 14 \, a c d x e + 7 \, a c^{2} e}{18 \, {\left (b d^{3} x^{3} + 3 \, b c d^{2} x^{2} + 3 \, b c^{2} d x + b c^{3} + a\right )}^{2} a^{2} d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.50, size = 357, normalized size = 1.72 \begin {gather*} \frac {\frac {4\,b\,e\,c^5+7\,a\,e\,c^2}{18\,a^2\,d}+\frac {x^2\,\left (40\,b\,d\,e\,c^3+7\,a\,d\,e\right )}{18\,a^2}+\frac {c\,x\,\left (10\,b\,e\,c^3+7\,a\,e\right )}{9\,a^2}+\frac {2\,b\,d^4\,e\,x^5}{9\,a^2}+\frac {20\,b\,c^2\,d^2\,e\,x^3}{9\,a^2}+\frac {10\,b\,c\,d^3\,e\,x^4}{9\,a^2}}{x^3\,\left (20\,b^2\,c^3\,d^3+2\,a\,b\,d^3\right )+x^2\,\left (15\,b^2\,c^4\,d^2+6\,a\,b\,c\,d^2\right )+a^2+x\,\left (6\,d\,b^2\,c^5+6\,a\,d\,b\,c^2\right )+b^2\,c^6+b^2\,d^6\,x^6+2\,a\,b\,c^3+6\,b^2\,c\,d^5\,x^5+15\,b^2\,c^2\,d^4\,x^4}-\frac {2\,e\,\ln \left (b^{1/3}\,c+a^{1/3}+b^{1/3}\,d\,x\right )}{27\,a^{7/3}\,b^{2/3}\,d}+\frac {\ln \left (a^{1/3}-2\,b^{1/3}\,c-2\,b^{1/3}\,d\,x+\sqrt {3}\,a^{1/3}\,1{}\mathrm {i}\right )\,\left (e-\sqrt {3}\,e\,1{}\mathrm {i}\right )}{27\,a^{7/3}\,b^{2/3}\,d}+\frac {\ln \left (2\,b^{1/3}\,c-a^{1/3}+2\,b^{1/3}\,d\,x+\sqrt {3}\,a^{1/3}\,1{}\mathrm {i}\right )\,\left (e+\sqrt {3}\,e\,1{}\mathrm {i}\right )}{27\,a^{7/3}\,b^{2/3}\,d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________